Repository navigation
feat: LEGGOS area magnification on LensCalc (arc phase 6a) - #685
Merged
Merged
Conversation
Area magnification of an image-plane region (LEGGOS II, arXiv:2606.20804, Eq. 6-7): mu_area = A_img / A_src with A_src = sum_i A_pix,i / |mu_i|, the Hessian magnification evaluated at sub-pixel centres. - `LensCalc.source_plane_area_from(mask, sub_size=4)` (links to source size) - `LensCalc.area_magnification_from(mask, sub_size=4)` for a mask covering one image - `LensCalc.image_masks_from(mask)` splits a mask into images (same-parity connected regions) - `LensCalc.area_magnification_list_from(mask, sub_size=4)` one value per image Tests: analytic SIS annulus (mu and A_src), sub_size convergence, parity split across the Einstein ring, the multi-image double-counting trap. Closes #684 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
pyautolabs-bot
Bot
removed
the
pending-release
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Arc phase 6a (epic
cluster-strong-lensing): the LEGGOS II (arXiv:2606.20804) Eq. 6-7 area magnification onLensCalc, the standard arc magnification in cluster lensing. Sum the image-plane area of a mask and invert the local Hessian magnification per sub-pixel to get the source-plane area; their ratio is the area magnification, and the source-plane area links to the physical size of the source. Needs only the magnification map — no source model, no forward ray-shooting (the ShapeSolver stays out of scope). A PyAutoLensTracerreaches it throughLensCalc.from_tracer(multi-plane viaplane_j).Design decisions (flagged for review):
sub_size x sub_sizesub-pixels (default 4) rather than LEGGOS's one value per pixel; convergence is second order in the sub-pixel size (measured 3.9e-4 → 5.7e-6 for sub_size 1 → 8 on a 0.1″ mask).area_magnification_fromis documented as one-image, andimage_masks_from/area_magnification_list_fromsplit a mask into images by parity (sign of μ, the critical curve being the boundary) + connected regions. Same-parity images that touch are not separated (documented).scipy.ndimage.labelfor the split).Heart at ship: STALE — "release validation stale: source moved since rehearsal (PyAutoFit, PyAutoArray, PyAutoGalaxy, PyAutoLens)"; human authorized shipping ("keep going with 6a, ship it when tests pass", 2026-10-30).
API Changes
Four new
LensCalcmethods for area magnification over an image-plane mask; nothing existing changes.See full details below.
Test Plan
test_autogalaxy/operate/test_area_magnification.py: analytic SIS annulus μ_area (measured −4.7e-4) and source-plane area (−1.5e-4); sub_size convergence monotone, second order; parity split of an annulus straddling the Einstein ring into the two rings with the outer one matching the analytic value (−6e-4); whole-mask double-counting trap.lens_calc.pyleft untouched)Full API Changes (for automation & release notes)
Added
LensCalc.source_plane_area_from(mask, sub_size=4) -> float— A_src = Σ A_pix,i / |μ_i| (LEGGOS Eq. 7)LensCalc.area_magnification_from(mask, sub_size=4) -> float— μ_area = A_img / A_src for a mask covering one image (Eq. 6)LensCalc.image_masks_from(mask) -> List[Mask2D]— split a mask into lensed images (same-parity connected regions), largest firstLensCalc.area_magnification_list_from(mask, sub_size=4) -> List[float]— one area magnification per imageGenerated by the PyAutoLabs agent workflow.
🤖 Generated with Claude Code